First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of...(展开全部)

【作者】 王浩（1921—1995）近代著名数理逻辑学家。曾任教于牛津大学、哈佛大学等世界 名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。 【译者】 高坤，北京大学哲学博士，现任教于山西大学科学技术哲学研究中心，主要从事逻辑与数学哲学方面的研究。 邢滔滔，北京大学哲学系教授。著有《数理逻辑》等。

近代著名数理逻辑学家王浩哲学代表作，正面集中阐释其哲学思想，循着从柏拉图到哥德尔的“数学-哲学家”传统，展开一场从数学到哲学的智慧之旅。 叶峰、郝兆宽、杨跃联袂推荐！中译本首次出版，专业译者精心翻译！ 【本书看点】 1.还原一个更真实、更全面的华裔天才哲学家王浩。 王浩是近代著名数理逻辑学家，早年就读于西南联大数学系，后在哈佛大学完成博士学位，又先后任教于哈佛大学、牛津大学。 他是“人工智能之父”明斯基崇拜的天才、“图灵奖”获得者库克的导师、蒯因的得意门生、库尔特•哥德尔的忘年挚友…… 他在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩机”模型、“王氏悖论”命题的提出者。1952年他当选美国科学与艺术学院院士，1983年获得国际人工智能联合会与美国数学会共同授予的“定理证明里程碑奖”。 ...(展开全部)

近代著名数理逻辑学家王浩哲学代表作，正面集中阐释其哲学思想，循着从柏拉图到哥德尔的“数学-哲学家”传统，展开一场从数学到哲学的智慧之旅。 叶峰、郝兆宽、杨跃联袂推荐！中译本首次出版，专业译者精心翻译！ 【本书看点】 1.还原一个更真实、更全面的华裔天才哲学家王浩。 王浩是近代著名数理逻辑学家，早年就读于西南联大数学系，后在哈佛大学完成博士学位，又先后任教于哈佛大学、牛津大学。 他是“人工智能之父”明斯基崇拜的天才、“图灵奖”获得者库克的导师、蒯因的得意门生、库尔特•哥德尔的忘年挚友…… 他在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩机”模型、“王氏悖论”命题的提出者。1952年他当选美国科学与艺术学院院士，1983年获得国际人工智能联合会与美国数学会共同授予的“定理证明里程碑奖”。 ...(展开全部)

In their new book From Mathematics to Generic Programming, C++ STL creator Alexander Stepanov and Information Retrieval researcher Daniel Rose show how programmers can become more effective by learning about the idea of abstraction and the math it relies on. In an engaging and accessible fashion, they describe how these mathematical results were first discovered and are surpris...(展开全部)

In their new book From Mathematics to Generic Programming, C++ STL creator Alexander Stepanov and Information Retrieval researcher Daniel Rose show how programmers can become more effective by learning about the idea of abstraction and the math it relies on. In an engaging and accessible fashion, they describe how these mathematical results were first discovered and are surpris...(展开全部)

This "Invitation to Mathematics" consists of 14 contributions, many from the world's leading mathematicians, which introduce the readers to exciting aspects of current mathematical research. The contributions are as varied as the personalities of active mathematicians, but together they show mathematics as a rich and lively field of research. The contributions are written for i...(展开全部)

This "Invitation to Mathematics" consists of 14 contributions, many from the world's leading mathematicians, which introduce the readers to exciting aspects of current mathematical research. The contributions are as varied as the personalities of active mathematicians, but together they show mathematics as a rich and lively field of research. The contributions are written for i...(展开全部)

One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in ...(展开全部)

Oystein Linnebo is professor of philosophy at the University of Oslo, and previously held positions in Bristol, London, and Oxford. He is the coeditor of New Waves in the Philosophy of Mathematics and the author of Thin Objects: An Abstractionist Approach (forthcoming).